not_virtual.sv
